62 research outputs found

    Isomorphisms of types in the presence of higher-order references (extended version)

    Full text link
    We investigate the problem of type isomorphisms in the presence of higher-order references. We first introduce a finitary programming language with sum types and higher-order references, for which we build a fully abstract games model following the work of Abramsky, Honda and McCusker. Solving an open problem by Laurent, we show that two finitely branching arenas are isomorphic if and only if they are geometrically the same, up to renaming of moves (Laurent's forest isomorphism). We deduce from this an equational theory characterizing isomorphisms of types in our language. We show however that Laurent's conjecture does not hold on infinitely branching arenas, yielding new non-trivial type isomorphisms in a variant of our language with natural numbers

    Measurements of long-range azimuthal anisotropies and associated Fourier coefficients for pp collisions at √s=5.02 and 13 TeV and p+Pb collisions at √sNN=5.02 TeV with the ATLAS detector

    Get PDF
    ATLAS measurements of two-particle correlations are presented for √s=5.02 and 13 TeV ppcollisions and for √sNN=5.02 TeV p+Pb collisions at the LHC. The correlation functions are measured as a function of relative azimuthal angle Δϕ, and pseudorapidity separation Δη, using charged particles detected within the pseudorapidity interval |η|2, is studied using a template fitting procedure to remove a “back-to-back” contribution to the correlation function that primarily arises from hard-scattering processes. In addition to the elliptic, cos (2Δϕ), modulation observed in a previous measurement, the pp correlation functions exhibit significant cos (3Δϕ) and cos (4Δϕ) modulation. The Fourier coefficients vn, n associated with the cos (nΔϕ) modulation of the correlation functions for n=2–4 are measured as a function of charged-particle multiplicity and charged-particle transverse momentum. The Fourier coefficients are observed to be compatible with cos (nϕ) modulation of per-event single-particle azimuthal angle distributions. The single-particle Fourier coefficients vn are measured as a function of charged-particle multiplicity, and charged-particle transverse momentum for n=2–4. The integrated luminosities used in this analysis are, 64nb−1 for the √s=13 TeV pp data, 170 nb−1 for the √ s = 5.02 TeV pp data, and 28 nb−1 for the √sNN = 5.02 TeV p+Pb data

    Probing the W tb vertex structure in t-channel single-top-quark production and decay in pp collisions at s√=8 TeV with the ATLAS detector

    Get PDF
    To probe the W tb vertex structure, top-quark and W -boson polarisation observables are measured from t-channel single-top-quark events produced in proton-proton collisions at a centre-of-mass energy of 8 TeV. The dataset corresponds to an integrated luminosity of 20.2 fb−1, recorded with the ATLAS detector at the LHC. Selected events contain one isolated electron or muon, large missing transverse momentum and exactly two jets, with one of them identified as likely to contain a b-hadron. Stringent selection requirements are applied to discriminate t-channel single-top-quark events from background. The polarisation observables are extracted from asymmetries in angular distributions measured with respect to spin quantisation axes appropriately chosen for the top quark and the W boson. The asymmetry measurements are performed at parton level by correcting the observed angular distributions for detector effects and hadronisation after subtracting the background contributions. The measured top-quark and W -boson polarisation values are in agreement with the Standard Model predictions. Limits on the imaginary part of the anomalous coupling gR are also set from model-independent measurements.We acknowledge the support of ANPCyT, Argentina; YerPhI, Armenia; ARC, Australia; BMWFW and FWF, Austria; ANAS, Azerbaijan; SSTC, Belarus; CNPq and FAPESP, Brazil; NSERC, NRC and CFI, Canada; CERN; CONICYT, Chile; CAS, MOST and NSFC, China; COLCIENCIAS, Colombia; MSMT CR, MPO CR and VSC CR, Czech Republic; DNRF and DNSRC, Denmark; IN2P3-CNRS, CEA-DSM/IRFU, France; SRNSF, Georgia; BMBF, HGF, and MPG, Germany; GSRT, Greece; RGC, Hong Kong SAR, China; ISF, I-CORE and Benoziyo Center, Israel; INFN, Italy; MEXT and JSPS, Japan; CNRST, Morocco; NWO, Netherlands; RCN, Norway; MNiSW and NCN, Poland; FCT, Portugal; MNE/IFA, Romania; MES of Russia and NRC KI, Russian Federation; JINR; MESTD, Serbia; MSSR, Slovakia; ARRS and MIZS, Slovenia; DST/NRF, South Africa; MINECO, Spain; SRC and Wallenberg Foundation, Sweden; SERI, SNSF and Cantons of Bern and Geneva, Switzerland; MOST, Taiwan; TAEK, Turkey; STFC, United Kingdom; DOE and NSF, United States of America. In addition, individual groups and members have received support from BCKDF, the Canada Council, CANARIE, CRC, Compute Canada, FQRNT, and the Ontario Innovation Trust, Canada; EPLANET, ERC, ERDF, FP7, Horizon 2020 and Marie Sklodowska-Curie Actions, European Union; Investissements d'Avenir Labex and Idex, ANR, Region Auvergne and Fondation Partager le Savoir, France; DFG and AvH Foundation, Germany; Herakleitos, Thales and Aristeia programmes co-financed by EU-ESF and the Greek NSRF; BSF, GIF and Minerva, Israel; BRF, Norway; CERCA Programme Generalitat de Catalunya, Generalitat Valenciana, Spain; the Royal Society and Leverhulme Trust, United Kingdom.The crucial computing support from all WLCG partners is acknowledged gratefully, in particular from CERN, the ATLAS Tier-1 facilities at TRIUMF (Canada), NDGF (Denmark, Norway, Sweden), CC-IN2P3 (France), KIT/GridKA (Germany), INFN-CNAF (Italy), NL-T1 (Netherlands), PIC (Spain), ASGC (Taiwan), RAL (UK) and BNL (USA), the Tier-2 facilities worldwide and large non-WLCG resource providers. Major contributors of computing resoinfo:eu-repo/semantics/publishedVersio

    Joint analysis of the energy spectrum of ultra-high-energy cosmic rays measured at the Pierre Auger Observatory and the Telescope Array

    Get PDF
    The measurement of the energy spectrum of ultra-high-energy cosmic rays (UHECRs) is of crucial importance to clarify their origin and acceleration mechanisms. The Pierre Auger Observatory in Argentina and the Telescope Array (TA) in the US have reported their measurements of UHECR energy spectra observed in the southern and northern hemisphere, respectively. The region of the sky accessible to both Observatories ([−15,+24] degrees in declination) can be used to cross-calibrate the two spectra. The Auger-TA energy spectrum working group was organized in 2012 and has been working to understand the uncertainties in energy scale in both experiments, their systematic differences, and differences in the shape of the spectra. In previous works, we reported that there was an overall agreement of the energy spectra measured by the two observatories below 10 EeV while at higher energies, a remaining significant difference was observed in the common declination band. We revisit this issue to understand its origin by examining the systematic uncertainties, statistical effects, and other possibilities. We will also discuss the differences in the spectra in different declination bands and a new feature in the spectrum recently reported by the Auger Collaboration

    Performance of the ATLAS trigger system in 2015

    Get PDF
    During 2015 the ATLAS experiment recorded 3.8fb−1 of proton–proton collision data at a centre-of-mass energy of 13TeV. The ATLAS trigger system is a crucial component of the experiment, responsible for selecting events of interest at a recording rate of approximately 1 kHz from up to 40 MHz of collisions. This paper presents a short overview of the changes to the trigger and data acquisition systems during the first long shutdown of the LHC and shows the performance of the trigger system and its components based on the 2015 proton–proton collision data

    Measurements of charge and CP asymmetries in b-hadron decays using top-quark events collected by the ATLAS detector in pp collisions at √s=8 TeV

    Get PDF
    Same- and opposite-sign charge asymmetries are measured in lepton+jets tt¯ events in which a b-hadron decays semileptonically to a soft muon, using data corresponding to an integrated luminosity of 20.3 fb−1 from proton-proton collisions at a centre-of-mass energy of √ s = 8 TeV collected with the ATLAS detector at the Large Hadron Collider at CERN. The charge asymmetries are based on the charge of the lepton from the top-quark decay and the charge of the soft muon from the semileptonic decay of a b-hadron and are measured in a fiducial region corresponding to the experimental acceptance. Four CP asymmetries (one mixing and three direct) are measured and are found to be compatible with zero and consistent with the Standard Model

    Top-quark mass measurement in the all-hadronic tt¯ decay channel at √s=8 TeV with the ATLAS detector

    Get PDF
    The top-quark mass is measured in the all-hadronic top-antitop quark decay channel using proton-proton collisions at a centre-of-mass energy of √s=8 TeV with the ATLAS detector at the CERN Large Hadron Collider. The data set used in the analysis corresponds to an integrated luminosity of 20.2 fb−1. The large multi-jet background is modelled using a data-driven method. The top-quark mass is obtained from template fits to the ratio of the three-jet to the dijet mass. The three-jet mass is obtained from the three jets assigned to the top quark decay. From these three jets the dijet mass is obtained using the two jets assigned to the W boson decay. The top-quark mass is measured to be 173.72 ± 0.55 (stat.) ± 1.01 (syst.) GeV

    Fiducial, total and differential cross-section measurements of t-channel single top-quark production in pp collisions at 8 TeV using data collected by the ATLAS detector

    Get PDF
    Detailed measurements of t-channel single top-quark production are presented. They use 20.2 fb −1 of data collected by the ATLAS experiment in proton–proton collisions at a centre-of-mass energy of 8 TeV at the LHC. Total, fiducial and differential cross-sections are measured for both top-quark and top-antiquark production. The fiducial cross-section is measured with a precision of 5.8% (top quark) and 7.8% (top antiquark), respectively. The total cross-sections are measured to be σtot(tq)56.7−3.8+4.3pb for top-quark production and σtot(t¯q)=32.9−2.7+3.0pb for top-antiquark production, in agreement with the Standard Model prediction. In addition, the ratio of top-quark to top-antiquark production cross-sections is determined to be Rt=1.72±0.09. The differential cross-sections as a function of the transverse momentum and rapidity of both the top quark and the top antiquark are measured at both the parton and particle levels. The transverse momentum and rapidity differential cross-sections of the accompanying jet from the t-channel scattering are measured at particle level. All measurements are compared to various Monte Carlo predictions as well as to fixed-order QCD calculations where available

    Search for squarks and gluinos in events with hadronically decaying tau leptons, jets and missing transverse momentum in proton-proton collisions at s√ = 13 TeV recorded with the ATLAS detector

    Get PDF
    A search for supersymmetry in events with large missing transverse momentum, jets, and at least one hadronically decaying tau lepton has been performed using 3.2 fb−1 of proton-proton collision data at s√=13 TeV recorded by the ATLAS detector at the Large Hadron Collider in 2015. Two exclusive final states are considered, with either exactly one or at least two tau leptons. No excess over the Standard Model prediction is observed in the data. Results are interpreted in the context of gauge-mediated supersymmetry breaking and a simplified model of gluino pair production with tau-rich cascade decays, substantially improving on previous limits. In the GMSB model considered, supersymmetry-breaking scale (Λ) values below 92 TeV are excluded at the 95% confidence level, corresponding to gluino masses below 2000 GeV. For large values of tanβ, values of Λ up to 107 TeV and gluino masses up to 2300 GeV are excluded. In the simplified model, gluino masses are excluded up to 1570 GeV for neutralino masses around 100 GeV. Neutralino masses up to 700 GeV are excluded for all gluino masses between 800 GeV and 1500 GeV, while the strongest exclusion of 750 GeV is achieved for gluino masses around 1400 GeV

    Measurements of ψ(2S) and X(3872) → J/ψπ+π− production in pp collisions at √s=8 TeV with the ATLAS detector

    Get PDF
    Differential cross sections are presented for the prompt and non-prompt production of the hidden-charm states X(3872) and ψ(2S), in the decay mode J/ψπ+π−, measured using 11.4 fb−1 of pp collisions at √s=8 TeV by the ATLAS detector at the LHC. The ratio of cross-sections X(3872)/ψ(2S) is also given, separately for prompt and non-prompt components, as well as the non-prompt fractions of X(3872) and ψ(2S). Assuming independent single effective lifetimes for non-prompt X(3872) and ψ(2S) production gives RB=B(B→X(3872)+any)B(X(3872)→J/ψπ+π−)B(B→ψ(2S)+any)B(ψ(2S)→J/ψπ+π−)=(3.95±0.32(stat)±0.08(sys))×10−2RB=B(B→X(3872)+any)B(X(3872)→J/ψπ+π−)B(B→ψ(2S)+any)B(ψ(2S)→J/ψπ+π−)=(3.95±0.32(stat)±0.08(sys))×10−2 separating short- and long-lived contributions, assuming that the short-lived component is due to Bc decays, gives RB = (3.57 ± 0.33(stat) ± 0.11(sys)) × 10−2, with the fraction of non-prompt X(3872) produced via Bc decays for pT(X(3872)) > 10 GeV being (25 ± 13(stat) ± 2(sys) ± 5(spin))%. The distributions of the dipion invariant mass in the X(3872) and ψ(2S) decays are also measured and compared to theoretical predictions
    corecore